1. .....................
پدیدآورنده : Engeler, Erwin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
رده :
QA
267
.
5
.
S4
E53
2. .....................
پدیدآورنده : Yan, Song Y.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
Y36
1998
3. .....................
پدیدآورنده : Ginsburg, Seymour
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Formal languages
رده :
QA
267
.
3
.
G54
4. A Basic for theoretical computer science
پدیدآورنده : Arbib, Michael Anthony, 0491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Formal languages
رده :
QA
267
.
A517
1981
5. A concise introduction to languages and machines
پدیدآورنده : Parkes, Alan.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
P36
2008
6. A course in formal languages, automata and grops
پدیدآورنده : Chiswell, Ian, 8491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Formal languages,، Machine theory,، Group theory
رده :
QA
267
.
3
.
C48C6
7. A course in formal languages, automata and groups
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal languages. ; Machine theory. ; Group theory. ;
8. A course in formal languages, automata and groups
پدیدآورنده : / Ian M. Chiswell
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Formal languages,Machine theory,Group theory
رده :
E-BOOK
9. A course in formal languages, automata and groups
پدیدآورنده : Chiswell, Ian
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Formal languages,، Machine theory,، Group theory
رده :
QA
267
.
3
.
C45
2009
10. A descriptive approach to language-theoretic complexity
پدیدآورنده : James Rogers
کتابخانه: كتابخانه دانشکده زبانها و ادبیات خارجی دانشگاه تهران (تهران)
موضوع : Generative grammar,Formal languages
رده :
P
158
.
R58
1998
11. A first course informal language theory
پدیدآورنده : / V. J. Rayward-Smith
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Formal languages
رده :
QA267
.
3
.
R3
12. A programmer's introduction to computability and formal languages
پدیدآورنده : Kurki-Suonio, Reino.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
K87
13. A second course in formal languages and automata theory
پدیدآورنده : Shallit, Jeffrey Outlaw.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
S53
14. A second course in formal languages and automata theory
پدیدآورنده : / Jeffrey Shallit
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Formal languages,Machine theory
رده :
E-BOOK
15. <AN> Introduction to formal languages and Automata
پدیدآورنده : Peter Linz
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Formal languages
رده :
QA
267
.
3
.
L5
,
F6
16. Algebraic and automata-theoretic properties of formal languages
پدیدآورنده : Ginsburg, Seymour
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Formal languages
رده :
QA
267
.
3
.
G54
17. Algebraic semantics
پدیدآورنده : Guessarian, Irene
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Formal languages-- Semantics
رده :
QA
267
.
3
.
G84
18. Algebraic semantics
پدیدآورنده : Guessarian, Irene, 8491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Formal languages -- Semantics
رده :
QA
76
.
L28
Vol
.
99
19. Algebraic theory of automata and languages
پدیدآورنده : / Masami Ito
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Formal languages,Machine theory
رده :
QA267
.
I8A5
2004
20. Algebraic theory of automata and languages
پدیدآورنده : Ito, Masami
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Formal languages,، Machine theory
رده :
QA
276
.
3
.
I88
2004